1![Certified Verification of Algebraic Properties on LowLevel Mathematical Constructs in Cryptographic Programs Ming-Hsien Tsai Bow-Yaw Wang Bo-Yin Yang Certified Verification of Algebraic Properties on LowLevel Mathematical Constructs in Cryptographic Programs Ming-Hsien Tsai Bow-Yaw Wang Bo-Yin Yang](https://www.pdfsearch.io/img/c32e51581d69fa3a90d493d3f1bf4dc4.jpg) | Add to Reading ListSource URL: precision.moscito.orgLanguage: English - Date: 2018-03-14 01:29:40
|
---|
2![Blockcloud: A Blockchain-based Service-centric Network Stack Zhongxing Ming∗ , Shu Yang† , Qi Li∗ , Dan Wang‡ , Mingwei Xu∗ , Ke Xu∗ , Laizhong Cui† ∗ Dept. of Comp. Sci. & Tech., Tsinghua Univ., Tsinghu Blockcloud: A Blockchain-based Service-centric Network Stack Zhongxing Ming∗ , Shu Yang† , Qi Li∗ , Dan Wang‡ , Mingwei Xu∗ , Ke Xu∗ , Laizhong Cui† ∗ Dept. of Comp. Sci. & Tech., Tsinghua Univ., Tsinghu](https://www.pdfsearch.io/img/e39e1052f3d8fcb0887de84bd1c52d84.jpg) | Add to Reading ListSource URL: www.block-cloud.ioLanguage: English - Date: 2018-09-20 01:51:30
|
---|
3![Facial Expression Recognition with PCA and LBP Features Extracting from Active Facial Patches Yanpeng Liua, Yuwen Caoa, Yibin Lia, Ming Liu, Rui Songa Yafang Wang, Zhigang Xu , Xin Maa† Facial Expression Recognition with PCA and LBP Features Extracting from Active Facial Patches Yanpeng Liua, Yuwen Caoa, Yibin Lia, Ming Liu, Rui Songa Yafang Wang, Zhigang Xu , Xin Maa† ](https://www.pdfsearch.io/img/c87adf0b95cf3baeb4046a2b6f5ea1ae.jpg) | Add to Reading ListSource URL: ram-lab.com- Date: 2016-06-13 01:08:04
|
---|
4![Progress toward ensemble 7-day streamflow forecast for Australia David Robertson, QJ Wang, James Bennett, Durga Lal Shrestha, Yong Song, Ming Li, Jean-Michel Perraud, Robert Bridgart, Alex Sha CSIRO LAND AND WATER Progress toward ensemble 7-day streamflow forecast for Australia David Robertson, QJ Wang, James Bennett, Durga Lal Shrestha, Yong Song, Ming Li, Jean-Michel Perraud, Robert Bridgart, Alex Sha CSIRO LAND AND WATER](https://www.pdfsearch.io/img/9cfba0ecb55de72c963f72fcb8b487f4.jpg) | Add to Reading ListSource URL: hepex.irstea.fr- Date: 2016-06-20 06:48:43
|
---|
5![CAPS Storm-Scale Ensemble Forecast in HWT 2011 Spring Experiment: Sensitivity of WRF physics on QPF Fanyou Kong, Ming Xue, Kevin W. Thomas, Yunheng Wang, Keith Brewster, Xuguang Wang (Center for Analysis and Prediction o CAPS Storm-Scale Ensemble Forecast in HWT 2011 Spring Experiment: Sensitivity of WRF physics on QPF Fanyou Kong, Ming Xue, Kevin W. Thomas, Yunheng Wang, Keith Brewster, Xuguang Wang (Center for Analysis and Prediction o](https://www.pdfsearch.io/img/cb3a3fa4103a9ee549349136e3ad20c0.jpg) | Add to Reading ListSource URL: www2.mmm.ucar.eduLanguage: English - Date: 2011-07-19 10:48:58
|
---|
6![Measuring Relationship Anonymity in Mix Networks Vitaly Shmatikov and Ming-Hsiu Wang The University of Texas at Austin ABSTRACT Many applications of mix networks such as anonymous Web browsing require relationship anonym Measuring Relationship Anonymity in Mix Networks Vitaly Shmatikov and Ming-Hsiu Wang The University of Texas at Austin ABSTRACT Many applications of mix networks such as anonymous Web browsing require relationship anonym](https://www.pdfsearch.io/img/8f1034b82d2cb3c24d02d14065aaf287.jpg) | Add to Reading ListSource URL: www.cyber-ta.orgLanguage: English - Date: 2007-02-22 22:56:09
|
---|
7![From Co-saliency Detection to Object Co-segmentation: a Unified Multi-stage Low-rank Matrix Recovery Approach Hao Chen, Panbing Wang, Ming Liu* Abstract—Object co-segmentation aims to identify and From Co-saliency Detection to Object Co-segmentation: a Unified Multi-stage Low-rank Matrix Recovery Approach Hao Chen, Panbing Wang, Ming Liu* Abstract—Object co-segmentation aims to identify and](https://www.pdfsearch.io/img/52430879916b015541aa72b9e097bfd6.jpg) | Add to Reading ListSource URL: www.ram-lab.comLanguage: English - Date: 2015-12-19 11:23:47
|
---|
8![From Co-saliency Detection to Object Co-segmentation: a Unified Multi-stage Low-rank Matrix Recovery Approach Hao Chen, Panbing Wang, Ming Liu* Abstract—Object co-segmentation aims to identify and From Co-saliency Detection to Object Co-segmentation: a Unified Multi-stage Low-rank Matrix Recovery Approach Hao Chen, Panbing Wang, Ming Liu* Abstract—Object co-segmentation aims to identify and](https://www.pdfsearch.io/img/b6dc86835577efce5f655e2b052c9d2e.jpg) | Add to Reading ListSource URL: ram-lab.comLanguage: English - Date: 2015-12-19 11:23:47
|
---|
9![CAPS Storm-Scale Ensemble Forecast (SSEF) in Support of NOAA HWT 2010 Spring Experiment Fanyou Kong, Ming Xue, Kevin W. Thomas, Yunheng Wang, Keith Brewster, Jidong Gao, Xuguang Wang (Center for Analysis and Prediction o CAPS Storm-Scale Ensemble Forecast (SSEF) in Support of NOAA HWT 2010 Spring Experiment Fanyou Kong, Ming Xue, Kevin W. Thomas, Yunheng Wang, Keith Brewster, Jidong Gao, Xuguang Wang (Center for Analysis and Prediction o](https://www.pdfsearch.io/img/f851fcef6d5003303a36ebcabb8a34c9.jpg) | Add to Reading ListSource URL: www2.mmm.ucar.eduLanguage: English - Date: 2010-06-28 11:29:33
|
---|
10![Rank-One Matrix Pursuit for Matrix Completion Zheng Wang∗ ZHENGWANG @ ASU . EDU Ming-Jun Lai† MJLAI @ MATH . UGA . EDU Rank-One Matrix Pursuit for Matrix Completion Zheng Wang∗ ZHENGWANG @ ASU . EDU Ming-Jun Lai† MJLAI @ MATH . UGA . EDU](https://www.pdfsearch.io/img/9c5f315e352c5e4822e749aeaadce4c2.jpg) | Add to Reading ListSource URL: jmlr.orgLanguage: English - Date: 2015-02-01 17:03:30
|
---|